#include <stdio.h>

void my_print(int a)
{
    printf("my_print = %d", a);
}
